Vivid Agents Arguing about Distributed Extended Logic Programs
نویسندگان
چکیده
Argumentation semantics in extended logic programming has been defined in [5,12] for a single agent which determines its believes by an internal argumentation process. In this paper we extend the initial argumentation framework to a multi-agent setting including both argumentation and cooperation. We define inference for multi-agent systems and define an algorithm for inference. We sketch an argumentation protocol and line out by an example how it is implemented using vivid agents [15,13].
منابع مشابه
Diagnostic Agents for Distributed Systems
In this paper we introduce an agent{based framework for the diagnosis of spatially distributed technical systems, based on a suitable distributed diagnosis architecture. We implement the framework using the concepts of vivid agents and extended logic programming. To demonstrate the power of our approach, we solve a diagnosis example from the domain of unreliable datagram protocols. Submission I...
متن کاملDistributed Contingency Logic and Security
In information security, ignorance is not bliss. It is always stated that hiding the protocols (let the other be ignorant about it) does not increase the security of organizations. However, there are cases that ignorance creates protocols. In this paper, we propose distributed contingency logic, a proper extension of contingency (ignorance) logic. Intuitively, a formula is distributed contingen...
متن کاملMulti-agent Abductive Reasoning with Confidentiality (Extended Abstract)
In the context of multi-agent hypothetical reasoning, agents typically have partial knowledge about their environments, and the union of such knowledge is still incomplete to represent the whole world. Thus, given a global query they need to collaborate with each other to make correct inferences and hypothesis, whilst maintaining global constraints. There are many real world applications in whi...
متن کاملArgumentation and Cooperation for Distributed Extended Logic Programs Argumentation and Cooperation for Distributed Extended Logic Programs
Argumentation semantics in extended logic programming has been deened in 3, 10] for a single agent, determining the agents' beliefs by an internal argumentation process. In this paper we extend the argumentation framework to a multi-agent setting including cooperation among agents. We present an algorithm for inference in the framework and an example to show the process of cooperation and argum...
متن کاملArgumentation and Cooperation for Distributed Extended Logic Programs
Argumentation semantics in extended logic programming has been deened in (Dung 1993; Prakken & Sar-tor 1997) for a single agent, determining the agents' beliefs by an internal argumentation process. In this paper we extend the argumentation framework to a multi-agent setting including cooperation among agents. We present an inference algorithm for the framework and an example showing the proces...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997